#ifndef CONSOLE_H_
#define CONSOLE_H_

void cons_putc(int c);

#endif /* CONSOLE_H_ */